bind 
lambda1 10*(10^4)
lambda2 10*(10^4)
mu1 1.25*10^8
mu2 1.25*10^8
end

markov series
11 01 lambda1 
11 10 lambda2
01 11 mu1
01 00 lambda2
10 11 mu2
10 00 lambda1
00 01 mu2
00 10 mu1
reward
11 1.0
end

* Irreducible Markov chain, no initial probability needed
* Cannot use also sysprob

* variable named A is the system steady-state availability
var A prob(series,11)
* variable named U is the  system steady-state unavailability 
var U 1- A
* variable named downtime is the system downtime in minutes per year
var downtime 60*8760*U

* Mean Time To System Failure
var MTTSF 1/(lambda1+lambda2)

* Mean Time To System Restoration
var MTTSR   U/(mu1*prob(series,01) + mu2*prob(series,10)) 
var MTTSR1   U  * MTTSF /  A 

expr  A, U, downtime, MTTSF, MTTSR, MTTSR1

end

